$\vdash$  $\forall$$T$:Type, $a$:$T$, $Q$:($T$$\rightarrow\mathbb{P}$). ($\forall$$x$:$T$. SqStable($Q$($x$))) $\Rightarrow$ SqStable($a$ = !$x$:$T$. $Q$($x$))